Default theories over monadic languages
نویسندگان
چکیده
منابع مشابه
Open Default Theories over Closed Domains
In this paper we compare two approaches to the meaning of a free variable x in an open default α(x) : β1(x), . . . , βm(x) γ(x) . The first treats x as a metavariable for the ground terms of the underlying theory, whereas the second treats it as a “name” of arbitrary elements of the theory universe. We show that, for normal default theories, under the domain closure assumption, the two approach...
متن کاملComparing the Succinctness of Monadic Query Languages over Finite Trees
We study the succinctness of monadic second-order logic and a variety of monadic fixed point logics on trees. All these languages are known to have the same expressive power on trees, but some can express the same queries much more succinctly than others. For example, we show that, under some complexity theoretic assumption, monadic second-order logic is non-elementarily more succinct than mona...
متن کاملOn Monadic Theories of Monadic Predicates
Pioneers of logic, among them J.R. Büchi, M.O. Rabin, S. Shelah, and Y. Gurevich, have shown that monadic second-order logic offers a rich landscape of interesting decidable theories. Prominent examples are the monadic theory of the successor structure S1 = (N,+1) of the natural numbers and the monadic theory of the binary tree, i.e., of the two-successor structure S2 = ({0, 1} ∗, ·0, ·1). We c...
متن کاملMonadic theories of wellorders
This article is a partial survey of work on the monadic second order theory of wellorders, concentrating on connections with finite state automata. We present a progression of results, starting with the case of finite wellorders and ending with a general connection between monadic truth and automata on all ordinals. We give proofs and proof sketches at the initial levels, to illustrate some of ...
متن کاملSimple Monadic Theories
From 28.10. to 02.11.2007, the Dagstuhl Seminar 07441 Algorithmic-Logical Theory of In nite Structures was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2006
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2006.08.007